A Solidity implementation of TAVS
نویسندگان
چکیده
We present a Solidity smart contract implementation of the TAVS e-voting protocol. The Two Authorities Electronic Voting Scheme (TAVS) is voting scheme that achieves universal verifiability with reduced time-complexity both for elector and system. security derives from RSA cryptosystem it employs, assumption two entities do not share information. which replaces one these an immutable in Ethereum based networks. By doing so, our extends properties higher degree resilience, verifiability, availability. open source code implementation.
منابع مشابه
Motivations for RLVS and TAVs
In this section, we examine the space launch needs of U.S. military, civil, and commercial space sectors. The potential development and operating costs for a small fleet of military TAVs are reviewed and compared with the costs associated with a small expendable launch vehicle. The potential development costs for commercial RLVs are also briefly reviewed. Next, we examine U.S. launch policy and...
متن کاملExecutable Operational Semantics of Solidity
Bitcoin has attracted everyone’s attention and interest recently. Ethereum (ETH), a second generation cryptocurrency, extends Bitcoin’s design by offering a Turing-complete programming language called Solidity to develop smart contracts. Smart contracts allow creditable execution of contracts on EVM (Ethereum Virtual Machine) without third parties. Developing correct smart contracts is challeng...
متن کاملGeometric Interoperability With Epsilon Solidity
Geometric data interoperability is critical in industrial applications where geometric data are transferred (translated) among multiple modeling systems for data sharing and reuse. A big obstacle in data translation lies in that geometric data are usually imprecise and geometric algorithm precisions vary from system to system. In the absence of common formal principles, both industry and academ...
متن کاملSolidity of viscous liquids. III. relaxation
It is suggested that the −1/2 high-frequency decay of the loss in highly viscous liquids, which appears to be generic, is a manifestation of a negative long-time tail as typically encountered in stochastic dynamics. The proposed mechanism requires that the coherent diffusion constant is much larger than estimated from the relaxation time. This is justified by reference to the solidity of viscou...
متن کاملAnne Bjerre & Tavs Bjerre University of Southern Denmark & Aarhus University
In this paper we address the question of which transitive verbs allow there-insertion in Danish. We propose that two constraints have to be met in order for verbs to appear in Danish there-constructions. Firstly, as have been noted by others, an empty direct object position must be available. This constraint is not sufficient for restricting the set of verbs in there-constructions. We further p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Frontiers in blockchain
سال: 2023
ISSN: ['2624-7852']
DOI: https://doi.org/10.3389/fbloc.2023.1105119